| emsoft | participants

Junjie Shi

EMSOFT 2022: 22nd International Conference on Embedded Software

Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS

Junjie Shi, Christoph-Cordt von Egidy, Kuan-Hsun Chen, and Jian-Jia Chen